1. Collected works
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
2. On formally undecidable propositions of principia mathematica and related systems
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
G63U213